    <q0> ab <q1>
    <q1> cd <q2>
    <q2> ef [q3]
    [q3]
